Existence using Fixed Point Theorem